1. Alan Turing :
پدیدآورنده : edited by S. Barry Cooper and Jan van Leeuwen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Turing, Alan,1912-1954,Computer science-- Mathematics,Enigma cipher system,Logic, Symbolic and mathematical,Mathematicians-- Great Britain, Biography
رده :
QA29
.
T8
C65
2013
2. Alan Turing: His Work and Impact
پدیدآورنده : / Cooper, S. Barry
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
3. Alan Turing : his work and impact
پدیدآورنده : Cooper, S. B. )S. Barry(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Turing, Alan Mathison,2191-4591,Biography ، Mathematicians - Great Britain,Mathematics ، Computer science,، Enigma cipher system,، Logic, Symbolic and mathematical
رده :
QA
29
.
T8
C65
2013
4. Alan Turing : his work and impact
پدیدآورنده : Cooper, S. Barry, 3491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Turing, Alan Mathison, 2191-4591,Biography ، Mathematicians -- Great Britain,، Computer science -- Mathematics,، Enigma cipher system,، Logic, Symbolic and mathematical
رده :
QA
29
.
T8C66
5. Computability in context :
پدیدآورنده : editors, S. Barry Cooper, Andrea Sorbi
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computable functions,Computational intelligence,Mathematics-- Philosophy,Set theory
رده :
QA9
.
59
.
C655
2011
6. Computability theory
پدیدآورنده : Cooper, S. Barry
موضوع : ، Computable functions
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
7. Computability theory
پدیدآورنده : Cooper, S. Barry, 3491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computable functions
رده :
QA
9
.
59
.
C66C6
8. Computability theory
پدیدآورنده : Cooper, S. B.S. Barry(
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع : ، Computable functions
رده :
QA
9
.
59
.
C68
2004
9. Logic Colloquium 2006
پدیدآورنده : edited by S. Barry Cooper, ... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
32
10. New computational paradigms :
پدیدآورنده : / S. Barry Cooper, Benedikt L?we, Andrea Sorbi, editors
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computable functions
رده :
E-BOOK
11. New computational paradigms : First Conference on Computability in Europe, CIE 2005, Amsterdam, The Netherlands, June 8-12, 2005 : proceedings
پدیدآورنده : S. Barry Cooper, Benedikt Loewe, Leen Torenvliet )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computable functions
رده :
QA
76
.
L28
Vol
.
3526
12. New computational paradigms : changing conceptions of what is computable
پدیدآورنده : S. Barry Cooper, Benedikt Lowe, Andrea Sorbi, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computable functions
رده :
QA
9
.
59
.
N492
13. The incomputable : journeys beyond the Turing barrier
پدیدآورنده : S. Barry Cooper, Mariya I. Soskova, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Unsolvability )Mathematical logic(,، Computable functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
63
.
I52
14. Theory and Applications of Models of Computation
پدیدآورنده : / T. V. Gopal, Manindra Agrawal, Angsheng Li, S. Barry Cooper
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
15. Theory and Applications of Models of Computation
پدیدآورنده : / Manindra Agrawal, S. Barry Cooper, Angsheng Li
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
